#include <sys/system.h>
#include <sys/task.h>

extern void pt_page_task_handler(pt_event_t *message);
const pt_task_handler_t pt_task_table[] = {
	pt_page_task_handler,
};